Normal Forms for Priority Graphs

نویسندگان

  • Johan van Benthem
  • Davide Grossi
چکیده

This brief note compares a few ways of deriving pre-orders over sets of objects from strict partial orders over properties of those objects— so-called priority graphs that have recently been used by logicians as a rich explicit model of preference merge, belief revision, norm change, and other aspects of agency. Our note establishes equivalence results between three popular formats for priority graphs, and defines a normal form for them.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Product of normal edge-transitive Cayley graphs

For two normal edge-transitive Cayley graphs on groups H and K which have no common direct factor and $gcd(|H/H^prime|,|Z(K)|)=1=gcd(|K/K^prime|,|Z(H)|)$, we consider four standard products of them and it is proved that only tensor product of factors can be normal edge-transitive.

متن کامل

NORMAL 6-VALENT CAYLEY GRAPHS OF ABELIAN GROUPS

Abstract : We call a Cayley graph Γ = Cay (G, S) normal for G, if the right regular representation R(G) of G is normal in the full automorphism group of Aut(Γ). In this paper, a classification of all non-normal Cayley graphs of finite abelian group with valency 6 was presented.  

متن کامل

NORMAL 6-VALENT CLAYEY GRAPHS OF ABELIAN GROUPS

We call a Clayey graph Γ = Cay(G, S) normal for G, if the right regular representation R(G) of G is normal in the full automorphism group of Aunt(Γ). in this paper, we give a classification of all non-normal Clayey graphs of finite abelian group with valency 6. 

متن کامل

Towards Normal Forms for GHZ/W Calculus

Abstract. Recently, a novel GHZ/W graphical calculus has been established to study and reason more intuitively about interacting quantum systems. The compositional structure of this calculus was shown to be well-equipped to sufficiently express arbitrary mutlipartite quantum states equivalent under stochastic local operations and classical communication (SLOCC). However, it is still not clear h...

متن کامل

Faster Maximium Priority Matchings in Bipartite Graphs

A maximum priority matching is a matching in an undirected graph that maximizes a priority score defined with respect to given vertex priorities. An earlier paper showed how to find maximum priority matchings in unweighted graphs. This paper describes an algorithm for bipartite graphs that is faster when the number of distinct priority classes is limited. For graphs with k distinct priority cla...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011